|
|
Generování backendu aplikace z UML modelu
Klikar, Václav ; Očenášek, Pavel (oponent) ; Burget, Radek (vedoucí práce)
Cílem této bakalářské práce je navrhnout a implementovat nástroj umožňující obousměrnou synchronizaci UML diagramu tříd a backendu aplikace kdykoliv v průběhu tvorby aplikace. Práce s UML modelem je umožněna pomocí standardizovaného XMI formátu. Backend aplikace je vytvořen a spravován prostřednictvím webového rámce Django. Pro čtení a zápis programového kódu Djanga je využit syntaktický analyzátor abstraktních syntaktických stromů.
|
|
|
Generování informačního systému
Voborník, Petr ; Jirák, Ota (oponent) ; Ruttkay, Ladislav (vedoucí práce)
Práce stanovuje požadavky pro implementaci generátoru informačních systémů. Zaobírá se nalezením společných prvků informačních systémů. Dále specifikuje požadavky na zápis konceptuálního modelu. Pokračuje popisem obecného uživatelského pohledu na systémy. Na základě zmíněných analýz jsou vybrány implementační technologie a navrhnuta architektura generovaných systémů. Generované systémy jsou navrženy tak, aby poskytovaly základní operace pro práci s položkami systému. Mimo to jsou diskutovány různé způsoby generování kódu. Je navržen metamodel pro uchování konceptuálního modelu systému a jsou diskutovány jeho možné zápisy. Nakonec jsou popsány problémy, které musí řešit generátor při generování kódu.
|
|
|
SW development and testing for engine monitoring module
Sumtsov, Artem ; Sova, Václav (oponent) ; Krejsa, Jiří (vedoucí práce)
The thesis describes Model Based Design process and its application for the design and testing of algorithms. This approach was employed in the development of the Engine Monitoring Module in collaboration with the UNIS, a.s. company. The continuous monitoring of equipment is a current trend in the development of the aerospace industry. The outputs of these algorithms can be used for planning maintenance with respect to operative modes and conditions. Monitoring algorithms are implemented in the Matlab/Simulink environment and are tested on the dSpace platform.
|
|
|
Modelem řízený vývoj Android aplikací
Bělehrádek, Stanislav ; Burget, Radek (oponent) ; Rychlý, Marek (vedoucí práce)
Tato diplomová práce se věnuje návrhu a implementaci nástroje pro tvorbu Android aplikací, který je založený na modelem řízeném vývoji software (Model Driven Software Development). Nejprve je popsán obecně vývoj softwaru, potom konkrétně se zaměřením na MDD a executable UML. V další části je představena platforma Android, způsoby tvorby aplikací na tuto platformu a existující nástroje s podporou MDD. Následně je ukázán návrh nového MDD nástroje pro tvorbu Android aplikací. Navrhovaný nástroj je realizován jako Gradle plugin a samostatné vývojové prostředí využívající tento plugin. Nástroj k modelování aplikací využívá fUML a jazyk ALF. Funkce a možnosti vyvíjeného nástroje jsou demonstrovány při tvorbě vzorové aplikace.
|
|
|
Automatické generování projektu v prostředí TIA portal
Halata, Roman ; Jirgl, Miroslav (oponent) ; Štohl, Radek (vedoucí práce)
Diplomová práce se zabývá automatickým generováním kódu pro PLC od firmy Siemens. První část se zaměřuje na aktuálně dostupné nástroje pro generování kódu a možnosti C# knihovny Siemens TIA Openness. Dále je vytvořen návrh struktury projektu v TIA portal. Nakonec je navržena a vytvořena uživatelská aplikace pro automatické generování kódu v TIA portal v15, vhodná především pro větší projekty s rozdělením na jednotlivé stanice.
|
|
|
Studie frameworku Lombok
Paštrnák, Ján ; Müller, Petr (oponent) ; Letko, Zdeněk (vedoucí práce)
Tato práce se věnuje frameworku Lombok a jeho využití pro vývoj Java programů. Framework Lombok umožňuje generování primitivního, často se opakujícího kódu, během překladu anotovaného kódu. Pomoci anotací programátor specifikuje, co a kde má framework při překladu generovat. Tato práce se zabývá vysvětlením základních principů frameworku a návrhem testů, které ukážu praktické aspekty jeho použití při tvorbě Java programů. Důraz je kladen zejména na odhad ušetřeného času vývoje prostřednictvím Lomboku, studium jeho vlivu na proces překladu a testování integrace frameworku se třemi vývojovými prostředími - NetBeans, Eclipse a InteliJ IDEA. Práce tak shrnuje pozitiva i negativa využití tohoto frameworku v praxi.
|
|
|
Generování kódu optimalizovaných matematických operací
Beneš, Vojtěch ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce)
Bakalářská práce se zabývá vytvořením jednoduchého programovacího jazyka pro práci s matematickými operacemi. Hlavním cílem práce je vytvořit kompilátor tohoto jazyka, který pro generování instrukcí cílového kódu využívá instrukční sadu technologie MMX. Generování optimalizovaného kódu probíhá na základě upraveného algoritmu kontextového generování.
|
|
|
Generování zdrojových kódů aplikací pomocí návrhových vzorů
Hanák, František ; Malinka, Kamil (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato práce se zabývá generováním zdrojových kódů aplikací pomocí návrhových vzorů. Práce popisuje problematiku specifikace návrhových vzorů a jejich užití při generování kódů aplikací. Podstatná část práce se věnuje popisu návrhových vzorů, jejich dělení, účelu použití, ale i způsobům specifikace vzorů. Detailně popisuje nejčastěji používané formální specifikace návrhových vzorů, jejich možnosti využití při generování kódu a návrh algoritmu pro vyhledání podobných struktur vzorů ve zdrojovém kódu.
|
|
|
Překlad podmnožiny jazyka PHP do C++
Nechutný, Stanislav ; Matula, Peter (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zaměřuje na návrh a tvorbu nástroje pro automatizovaný překlad funkcí napsaných v podmnožině jazyka PHP do C++. Vygenerovaný zdrojový kód je možno zkompilovat jako rozšíření PHP a zavést stejným způsobem jako například MySQL, PDO, GD apod. Ve výsledku je tedy možno zavolat tyto funkce z PHP, jako by se jednalo o původní interpretovanou funkci. Předpokladem je však rozdíl v rychlosti vykonávání, protože odpadá analýza zdrojových kódů, jejich interpretace, či režie způsobená správou paměti. Vytvořený nástroj provádí převod zdrojového kódu do abstraktního syntaktického stromu, staticky jej analyzuje pro určení datových typů proměnných, a následně provádí generování C++ kódu. Výsledné zrychlení pak záleží na charakteristice překládaného kódu a praktické použití je prozatím komplikované kvůli implementaci podmnožiny PHP.
|
|
|
Moderní metody návrhu řídicích systémů s podporou MATLAB/Simulink
Válek, Vít ; Kozovský, Matúš (oponent) ; Blaha, Petr (vedoucí práce)
Obsahem této práce bude představit si nástroje programu MATLAB/Simulink, které umožňují generovat zdrojový kód v jazyce C. Dále bude předvedeno, jak kombinovat zdrojové kódy psané v jazyce C s modely Simulinku a s algoritmy v MATLAB. Pro vybrané funkce bude generován kód a ten pak porovnán s knihovními funkcemi RTCESL. V poslední části bude stručně popsán princip vektorového řízení. Pro zjednodušenou smyčku vektorového řízení bude generován zdrojový kód, který bude následně srovnán s ručně psaným kódem. Pro srovnání je používán mikrokontroler KV46F256 od firmy NXP Semiconductors.
|
host ::
RSS.